Priority Downward Closures

When a system sends messages through a lossy channel, then the language encoding all sequences of messages can be abstracted by its downward closure, i.e. the set of all (not necessarily contiguous) subwords. This is useful because even if the system has infinitely many states, its downward closure is a regular language. However, if the channel has congestion control based on priorities assigned to the messages, then we need a finer abstraction: The downward closure with respect to the priority embedding. As for subword-based downward closures, one can also show that these priority downward closures are always regular. While computing finite automata for the subword-based downward closure is well understood, nothing is known in the case of priorities. We initiate the study of this problem and provide algorithms to compute priority downward closures for regular languages, one-counter languages, and context-free languages

Priority Downward Closures

When a system sends messages through a lossy channel, then the language encoding all sequences of messages can be abstracted by its downward closure, i.e. the set of all (not necessarily contiguous) subwords. This is useful because even if the system has infinitely many states, its downward closure is a regular language. However, if the channel has congestion control based on priorities assigned to the messages, then we need a finer abstraction: The downward closure with respect to the priority embedding. As for subword-based downward closures, one can also show that these priority downward closures are always regular. While computing finite automata for the subword-based downward closure is well understood, nothing is known in the case of priorities. We initiate the study of this problem and provide algorithms to compute priority downward closures for regular languages, one-counter languages, and context-free languages.Comment: full version of paper accepted at CONCUR'2

Synthesizing Permissive Winning Strategy Templates for Parity Games

We present a novel method to compute \emph{permissive winning strategies} in two-player games over finite graphs with $\omega$-regular winning conditions. Given a game graph $G$ and a parity winning condition $\Phi$, we compute a \emph{winning strategy template} $\Psi$ that collects an infinite number of winning strategies for objective $\Phi$ in a concise data structure. We use this new representation of sets of winning strategies to tackle two problems arising from applications of two-player games in the context of cyber-physical system design -- (i) \emph{incremental synthesis}, i.e., adapting strategies to newly arriving, \emph{additional} $\omega$-regular objectives $\Phi'$, and (ii) \emph{fault-tolerant control}, i.e., adapting strategies to the occasional or persistent unavailability of actuators. The main features of our strategy templates -- which we utilize for solving these challenges -- are their easy computability, adaptability, and compositionality. For \emph{incremental synthesis}, we empirically show on a large set of benchmarks that our technique vastly outperforms existing approaches if the number of added specifications increases. While our method is not complete, our prototype implementation returns the full winning region in all 1400 benchmark instances, i.e., handling a large problem class efficiently in practice.Comment: CAV'2

Computing Adequately Permissive Assumptions for Synthesis

We solve the problem of automatically computing a new class of environment assumptions in two-player turn-based finite graph games which characterize an ``adequate cooperation'' needed from the environment to allow the system player to win. Given an $\omega$-regular winning condition $\Phi$ for the system player, we compute an $\omega$-regular assumption $\Psi$ for the environment player, such that (i) every environment strategy compliant with $\Psi$ allows the system to fulfill $\Phi$ (sufficiency), (ii) $\Psi$ can be fulfilled by the environment for every strategy of the system (implementability), and (iii) $\Psi$ does not prevent any cooperative strategy choice (permissiveness). For parity games, which are canonical representations of $\omega$-regular games, we present a polynomial-time algorithm for the symbolic computation of adequately permissive assumptions and show that our algorithm runs faster and produces better assumptions than existing approaches -- both theoretically and empirically. To the best of our knowledge, for $\omega$-regular games, we provide the first algorithm to compute sufficient and implementable environment assumptions that are also permissive.Comment: TACAS 202

Evaluation of antioxidant potential of alcoholic stem bark extracts of Bauhinia variegata Linn.

The present study was carried out for the evaluation of in-vitro antioxidant potential of alcoholic stem bark (ALSB) extract of Bauhinia variegata Linn. Dried stem bark extract of B. variegata Linn. was screened to evaluate its free radical scavenging effect. Various methods like DPPH assay, reducing power assay, percentage scavenging activity of hydrogen peroxide and superoxide radical scavenging activity were used for screening in-vitro antioxidant potential. Antioxidant potentials were concentration dependent which were compared with standard antioxidants such as butylated hydroxyanisole (BHA) and ascorbic acid. The maximum scavenging effect of B. variegata Linn. alcoholic stem bark extract on  DPPH free radical, superoxide radical and hydrogen peroxide was 72.19 + 0.20, 81.60 + 0.22 and 76.06 + 0.16 respectively at a concentration of 2500 ?g/mL.  It was clearly indicated that the alcoholic extract of the stem bark has significant in vitro antioxidant activity. Currently available synthetic antioxidants like butylated hydroxyanisole (BHA), butylated hydroxyl toluene (BHT), Ascorbic acid and gallic acid appear to be associated with hepatotoxicity and many others negative health effects. Therefore, natural antioxidants may be preferred over the synthetic antioxidants

Slow amyloid nucleation via α-helix-rich oligomeric intermediates in short polyglutamine-containing huntingtin fragments

The 17-amino-acid N-terminal segment (httNT) that leads into the polyglutamine (polyQ) segment in the Huntington\u27s disease protein huntingtin (htt) dramatically increases aggregation rates and changes the aggregation mechanism, compared to a simple polyQ peptide of similar length. With polyQ segments near or above the pathological repeat length threshold of about 37, aggregation of htt N-terminal fragments is so rapid that it is difficult to tease out mechanistic details. We describe here the use of very short polyQ repeat lengths in htt N-terminal fragments to slow this disease-associated aggregation. Although all of these peptides, in addition to httNT itself, form α-helix-rich oligomeric intermediates, only peptides with QN of eight or longer mature into amyloid-like aggregates, doing so by a slow increase in β-structure. Concentration-dependent circular dichroism and analytical ultracentrifugation suggest that the httNT sequence, with or without added glutamine residues, exists in solution as an equilibrium between disordered monomer and α-helical tetramer. Higher order, α-helix rich oligomers appear to be built up via these tetramers. However, only httNTQN peptides with N=8 or more undergo conversion into polyQ β-sheet aggregates. These final amyloid-like aggregates not only feature the expected high β-sheet content but also retain an element of solvent-exposed α-helix. The α-helix-rich oligomeric intermediates appear to be both on- and off-pathway, with some oligomers serving as the pool from within which nuclei emerge, while those that fail to undergo amyloid nucleation serve as a reservoir for release of monomers to support fibril elongation. Based on a regular pattern of multimers observed in analytical ultracentrifugation, and a concentration dependence of α-helix formation in CD spectroscopy, it is likely that these oligomers assemble via a four-helix assembly unit. PolyQ expansion in these peptides appears to enhance the rates of both oligomer formation and nucleation from within the oligomer population, by structural mechanisms that remain unclear. © 2011 Elsevier Ltd

Impact of COVID-19 on cardiovascular testing in the United States versus the rest of the world

Objectives: This study sought to quantify and compare the decline in volumes of cardiovascular procedures between the United States and non-US institutions during the early phase of the coronavirus disease-2019 (COVID-19) pandemic. Background: The COVID-19 pandemic has disrupted the care of many non-COVID-19 illnesses. Reductions in diagnostic cardiovascular testing around the world have led to concerns over the implications of reduced testing for cardiovascular disease (CVD) morbidity and mortality. Methods: Data were submitted to the INCAPS-COVID (International Atomic Energy Agency Non-Invasive Cardiology Protocols Study of COVID-19), a multinational registry comprising 909 institutions in 108 countries (including 155 facilities in 40 U.S. states), assessing the impact of the COVID-19 pandemic on volumes of diagnostic cardiovascular procedures. Data were obtained for April 2020 and compared with volumes of baseline procedures from March 2019. We compared laboratory characteristics, practices, and procedure volumes between U.S. and non-U.S. facilities and between U.S. geographic regions and identified factors associated with volume reduction in the United States. Results: Reductions in the volumes of procedures in the United States were similar to those in non-U.S. facilities (68% vs. 63%, respectively; p = 0.237), although U.S. facilities reported greater reductions in invasive coronary angiography (69% vs. 53%, respectively; p < 0.001). Significantly more U.S. facilities reported increased use of telehealth and patient screening measures than non-U.S. facilities, such as temperature checks, symptom screenings, and COVID-19 testing. Reductions in volumes of procedures differed between U.S. regions, with larger declines observed in the Northeast (76%) and Midwest (74%) than in the South (62%) and West (44%). Prevalence of COVID-19, staff redeployments, outpatient centers, and urban centers were associated with greater reductions in volume in U.S. facilities in a multivariable analysis. Conclusions: We observed marked reductions in U.S. cardiovascular testing in the early phase of the pandemic and significant variability between U.S. regions. The association between reductions of volumes and COVID-19 prevalence in the United States highlighted the need for proactive efforts to maintain access to cardiovascular testing in areas most affected by outbreaks of COVID-19 infection